Rationale and Design of BULK
نویسندگان
چکیده
BULK is a very high level persistent programming language and environment for prototyp ing and implementing database applications BULK provides sets and sequences as primitive type constructors provides high level operations on them and allows programmers to de ne application oriented bulk types e g syntax trees bond portfolios or geographic maps BULK encourages separation of correctness and e ciency concerns by distinguishing logical type from representation BULK supports a three step development paradigm consisting of i prototyping ii intensive analysis optimization and data structure selection by the compiler to achieve e ciency and iii if e ciency is still inadequate hot spot re nement CGK In hot spot re nement developers remove performance bottlenecks by providing the compiler with more information by directing its optimization e orts or by re implementation Step i focuses on correctness steps ii and iii on e ciency Our goal is an implementation that can usually achieve acceptable e ciency by step ii and that provides a tractable interface for hot spot re nement
منابع مشابه
3store: Efficient Bulk RDF Storage
The development and deployment of practical Semantic Web applications requires technologies for the storage and retrieval of RDF data that are robust and scalable. In this paper, we describe the 3store RDF storage and query engine developed within the Advanced Knowledge Technologies project, and discuss the design rationale and optimisations behind it which enable the efficient handling of larg...
متن کاملValidated Spectrophtometric Method for Determination of Tamsulosin in Bulk and Pharmaceutical Dosage Forms
In this study a sensitive, simple and accurate spectrophotometric method was suggested for determination of tamsulosin in bulk powder and pharmaceutical dosage form based on the formation of an ion-pair complex between the drug and bromocresol green in a buffer solution at pH 3.5. The formed yellow color complex was extracted with chloroform and measured at 415 nm. The optimum reaction conditio...
متن کاملValidated Spectrophtometric Method for Determination of Tamsulosin in Bulk and Pharmaceutical Dosage Forms
In this study a sensitive, simple and accurate spectrophotometric method was suggested for determination of tamsulosin in bulk powder and pharmaceutical dosage form based on the formation of an ion-pair complex between the drug and bromocresol green in a buffer solution at pH 3.5. The formed yellow color complex was extracted with chloroform and measured at 415 nm. The optimum reaction conditio...
متن کاملDesign of Gate-Driven Quasi Floating Bulk OTA-Based Gm–C Filter for PLL Applications
The advancement in the integrated circuit design has developed the demand for low voltage portable analog devices in the market. This demand has increased the requirement of the low-power RF transceiver. A low-power phase lock loop (PLL) is always desirable to fulfill the need for a low power RF transceiver. This paper deals with the designing of the low power transconductance- capacitance (Gm-...
متن کاملDesign Rationale for Secure Probe Storage based on Patterned Magnetic Media
We describe the design rationale for a hardware tamper resistant secure storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by magnetising individual dots perpendicular to the media plane. We report on an experiment to show that in principle the medium also supports a separate class of read/write-once operations by allowing i...
متن کامل